#508: remove duplicate output of division header