Tightens up formatting in plugin.php.