always a typo in a commit one is proud of. Alas. Here, fixed it.