Point. Don't know how I never noticed that, probably because I was writing it (and was therefore too close to the problem). We should probably fix it at some point but seems ok for now.