Fix #266 and #285: unconfigured box crashes