Minor fix in designspec-protokoll