Documentation: some minor cleaning up [ci skip].