Changes for postlab7 documents.