Minor syntax tweak.  fixes #4