minor syntax update