Fix an issue in debug stmt