minor punctuation fixes to compactness