Added another entry to 'options' in Design Document.