Remove an awkward comma splice in the docs.