fix?

by trial and error, this seems to build and fix the issue in #25