Issue  #3161 was fixed.