Merge pull request #31 from mithro/bios-fix
authorenjoy-digital <florent@enjoy-digital.fr>
Sat, 7 Oct 2017 06:46:38 +0000 (08:46 +0200)
committerGitHub <noreply@github.com>
Sat, 7 Oct 2017 06:46:38 +0000 (08:46 +0200)
Couple of small fixes.


Trivial merge