accompanying tweak to make previous commit work (doing this in the github web editor thing)