a couple of extra functions, useful for debugging