Fixing formatting in filters.php; I didn't like that.