Fixing the boot API according to issue #29.