Definitely a bug, the game's not deterministic (even though it obviously should be). Thanks for letting me know!
