Small formatting change
Fix to 6.01