Tiny changed in doc/awsec2tools.rst