When printing a pdf document, when the print page comes up, I click on options, then the options tab, but the duplex printing option is greyed out, even though in the print configure from system settings, there is the option for duplex printing.