Buildfix.  Fixes #2337.