Tweak gracelib.js to help typechecker