Minor doc fixes from gregorio.bastardo

Doc fixes sent by private email in order to not need a github account for modifications.