Fixed headline markup
Merge branch 'develop' of github.com:pgRouting/pgrouting into develop