code style: der.cpp: fix indentation after converting tabs.