debug information for #264