minor change in coding style to avoid potential bug