Bug fix: syntax error