Ginger Beer: Minor fixes.