Removed Allen's name from the comment