Minor debug fix