doc fixes for ReST