Fix issue #84

Yes, of course. It's a forgetting, I'll correct that.