not sure
Actually fixes #7