minor syntax fix.