Version fix

This should get merged after we sort out #80.