minor debug fix