Minor syntax fixes and comment for next week's work