Fixes #10

(I hope.)