doc: remove a needless ","