Thank you. Yes, I encountered the bug too, pretty late in the development cycle. I failed to reproduce it, and had to finish the game, so I let it be. Hope it didn't bother too much. ;)
