minor syntax changes