Version 0.9: minor fix.