Issue #3136 was fixed.