oops, fixes #212