Removing useless comment (see #10)