A tiny bit of housekeeping.