Minor syntactical rewrite.