fix for -DEBUG=1