Removed redundant line in top-level comments