re: #72 Gus

Silvio noticed it IIRC (with the proper hat tip).