Minor modification to coding standard.