Some small updates to add a directory Git ignored because it was empty
and to fix a configuration option accidentally left on after testing.