Syntax typos corrected, fixes #8