Yet another fix to an old hi-boot-6 file