#115: Definitions of User and Hoster are modified

Within #115.