re: #199 stabby

I was gonna fix a typo in a comment, but the “edit comment” buttons have disappeared. I wonder why.

Same here.