[TUHS] An amusing error message