closed #4636. done