Fixed the currently-held-keys HashSet in music_keyboard.