Small documentation fixes from Metze