minor changes to fix merge conflict

that is for ease of debugging. It only prints on the server side.