Minor doc and messages fixes [skip ci]