This note was originally a few lines below, and that line has been fixed.