fixed in fe0f6239f5ab787fa7dbbf08d2b278fea1a242d7.