Hostile mobs spawn in daytime during thunderstorm in desert/savannah where it doesn't rain

Steps to reproduce

1. Be in a desert or savannah biome.
2. /time set noon
3. /weather thunder

Expected result

Monsters do not spawn because thunderstorms don't actually happen in dry biomes (there is no rain).

Actual result

Monsters spawn.

---

Hostile mobs will occasionally start spawning during day and will not stop unless the game is closed and re-opened. I have experienced this on 3 different occasions when playing and does not matter the in-game time or how many light sources are placed. Creepers will spawn, skeletons and zombies to, but will not burn regardless of time of day or their placement in or out of cover. Please look into this as my base and my friends becomes a constant battle field.