a loose end
Merge pull request #1039 from brucehoff/develop

a loose end