Fix syntax

Not as pretty, but they can cut and paste now...