Various fixes inside documentation