Issue #5600: Syntax error