Commit back DanielR's previous syntax fix