Chores

Updated Sep 11, 2017

Various chores that aren't directly related to code.