minor change to coding conventions