Wrapped an fprintf to stderr in a DEBUG