Fixes #3

We fixed it.