Flags

A little housekeeping.