Fixes #3.
And also:
Fixes redbox-mint/redbox#16
Fixes redbox-mint/redbox#17