Temporarily fixes #11.