#3827: fixed
#3827: test added