Version 0.8: minor fix