tiny syntax update