Fix for issue 4216

trivial fix