Update User.php

Formatting