Hmph, this also occurs in library.js in a places other than from my commit. Would you mind if I made a pull immediately after this that just fixes all instances of this in library.js?