minor syntax fix, and a note