Actually fixes #3