provide default getter and setters