Minor cosmetic bug in 5.50

Top