Fixed by later commit.