Minor bug fix.
Release 1.4.3.