minor typeo fix in debugging section