some debugging, some code that we should all have already