mopping up any changes missed in last commits
any minor changes that somehow did not get pushed up last night