Small fix in design code