I didn't know that, hence that code was never tested. :)