tiny revision of collision.html