More minor fixes for docs

there are two dots there !