fix extraneous colon in parameter specification