Fix for 5.2.0

Very minor.