fix a small issue with debug option