Improved `Flags.js` a bit.