Add return type to dummy getters