Merge pull request #1239 from WarrenWeckesser/misc-corrections #558

Job	Run time
posix (Collect coverage special_fun, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, special_...	16m 1s
posix (Collect coverage distribution_tests, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, d...	8m 22s
posix (Collect coverage mp, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, mp)	10m 1s
posix (Collect coverage misc, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, misc)	7m 47s
posix (Collect coverage quadrature, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, quadrature)	8m 25s
posix (Collect coverage interpolators, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, interp...	3m 34s
posix (Collect coverage autodiff, yes, gcc-12, 20, ubuntu-22.04, g++-12-multilib, 64, autodiff)	2m 34s
	56m 44s

Provide feedback