small fix to markdown manual