Fixed up some syntax errors in #147.