Minor fine-tune to model.php