Fix minor syntax mistake