Fix Bootloader specifications. Fix #11