Trivial syntax tweak as per PR 448 comments