miscellaneous fixes of RST formatting bugs