Minor fix on boot.py