removed Java-like getters