Hmm. I think we can leave it for now until we resolve #83.