[michael] Ugly code is ugly