Trivial syntax change to address Rob feedback.