Minor formatting in ClaymusFilter.