ref #813 code style fix