minor changes to syntax