not an important version, but this fixes #3. hooray!