doc tweaks

3 jobs for NIFTy_4 in 15 minutes and 36 seconds (queued for 3 seconds)