Increase coverage of #4175