That's probably cleaner. Fixed in 047fdc7