Tweak introduction in documentation