This duplicates line 49, so should be removed.  Perhaps we can keep the comment though :)