Consistent file name for User class