Fix documentation on Design Decisions