Minor syntax corrections and edits