This had passed in local testing on cruncher --- somehow. Also fix a .rst issue