Minor clean-up after merge from AV