Add comment to justify bad use of a while loop