enforce const-correctness