Minor bug fix.
Release 1.11.6.