#142: Some Warnings to Keep the Holidays Happy