modified PDF interface; miscellaneous other comment fixes