PuckMan: small changes