Actually, this would belong in `utils.php`.