Fix some doublespace formatting.