Fixes TiddlySpace/ts.js#1018