minor styling and syntax fixes