Fix typo in design doc

Remove extra instance of "builtin commands", shouldn't be there.