small syntax update