Minor fixes for publication.
Merge pull request #16 from HassenRiahi/MinorFixes

Minor fixes for publication.