A minor update to the comment