Small syntax update