fix to debugging note