wow -- I didn't know about such a way to define setters