small bugfix in Murmur script