Minor tweaks to syntax