fix brackets in heading
Merge pull request #34 from SemanticsOS/lambdafu/bracketinheading

fix brackets in heading