Minor formatting fix for ae641cdfc539

Please merge to v6.0