fix wayward comma in doc comment