Discovered another bug. Documented it. It's not trivial to fix yet.