Update AWS docs; fixes #487