This fixes #7519.  I also added 0039-37-01-F.