minor bugfix (syntax error)