fix a tiny bug in debug mode