Fixed a (slightly embarassing) syntax error.