See coding guidelines remark above.