#115: Definitions of User and Hoster are modified