Minor changes to syntax