Changed my mind on how to fix #239 (this doesn't involve editing the JS library file)