minor syntactic improvement