small bugfix 1.42