Amended as suggested