leaving that, it's been very useful for debugging and shouldn't get in the way otherwise