Fix branch mark in documentation

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