attempt to fix small glitches in boot.log