Meaningless: Minor fix

We have fixed some bugs discovered by players.