hopefully make pdf build happy -- html output doesn't seem to be affected