Fix minor syntax bug