minor syntax edit