Minor changes for version 0.8.9