Bugfix: syntax error in last commit.