Good point, that would be more elegant. I'll fix it.