Fix in commit 7760ab70a61bbdd6704fc05c90a4d64d35501feb

Again, what the way to link that, if there is one?