Fix about CTK naming convention for getters