Minor fixes in deuflhard