Please move this comment so it remains with the code it describes!