Fixed program interface in design doc