Fix styling problem after patch of Bug914892
Address Arthur's comment