code style: der.cpp: replace tab with space.