Previous commit had snuck in a syntax error, fixing