Removed unnecessary include user.h