Fix a committed by mistake change in boot.js