Fix clang warning; fixes #16