very minor syntax update