minor fix post #38