mini-os: delete dummy else block