small debug fix