submitted for publishing on July 18
Merge pull request #1477 from WalterHub/myaux37

submitted for publishing on July 18