Vintage nutmeg graters often featured a small, hinged compartment at the very top. What was this compartment used for?