getters and setters for module