possibly fix #4191