Minor bugfix.
5.20.4