Fix to documentation (top rule)