fixes #163, at least in theory