add some messages for debugging