Fixed compiler error in Design Document