Updated comments on IsPlayerGrounded() for clarity.