Fix branch mark in documentation

The current branch is marked by `*`, not by a `#`.