Merge pull request #1 from ebraminio/master

Some improvments
Improve specification summary