debugging to stderr!!!