Minor fixes to syntax; update the comments