slight formatting fix in DbUtils.php.