minor cleanup in diis.h

to kill some time