This fixes #8235.  I added version 1.4.5.