Edited comment on line 12 for clarity