fix double punctuation mark in docs