Hm, no. This happened in 10ef55a935d7452b8db2726975fe33392d8b05f5, no idea why.