greg.js: Slip in little bugfix before release. ;)