Bauer: Game music bug fixed - A first bug squashed!

A tiny bug was discovered which in some scenario could result in the wrong music played in game. This update corrects this.