Manually replaced auto-built getters/setters