bug fixed: saving in pdf-mode did not work