Improved documentation of player.py is_colliding method