More formatting cleanup in plugin.php.