I don't mind it myself, but #794 was not merged, so I thought I'd give you a heads-up.