Minor changes to minor things

#573

Minor changes to minor things