Minor fixes all over designspecifikation