Carry through changes to the interface properly in the documentation.