Fix spurious RuntimeError. Closes #12.