Fixes to Amazon EC2 tools instructions