getters and setters for private fields