more coding convention stuff...