minor correction (using const)