Minor bug fix.
Release 1.4.2.