Add a note about #38