One last cosmetic change before v0.99.3 release.