#4317 resolved