This comment is now corrected