fix comments in deb64.f