Fix @samoht's pull request

Supercedes [mirage/io-page#4]