removed old extraneous getters from headers