Fix a design bug concerning struct user_info.