Minor update to olddocs.