dealii back to lowercase