Hm, weird. Scala bug? Anyway, no big deal.