Oops, fix syntax bug with previous commit