Bug fix #5: syntax error.