small bugfix in boss_murmur