Bug fix: Introduced by me in 860490ff2cbd8a8a61bf9029c8711f00693a7016.