Mark some issues in the specification.
Merge pull request #80 from mounirlamouri/mark_some_issues

Mark some issues in the specification.