closed #5183, done