Minor bug fix.
Release 0.9.6.