People on here seem to be very judgemental! Occasionally you just have to apply common sense. I could have made the player go through the rigmarole of trying to replace the ball and hopefully jiggling the flag to allow it to drop fully into the hole, but the end result would have been the same, unless he somehow managed to pull the ball out of the hole in the process. If the player himself rather than the FC had incorrectly picked the ball out of the hole, I would have applied a one-stroke penalty and required him to replace the ball.