minor cleanup in Level Manager