fixes #4731

fixes #4731