Hopefully fixes #5.