Minor error with a miscomment