undoing some inadvertent changes due to gitbooks caching an older copy of things