update after thomas's CVS surgery

Original commit message from CVS:
update after thomas's CVS surgery
1 file changed