Fixed out-of-date contents (PVCS tracker 732)