Removing the (now incorrect) comments