Version 0.8: minor fixes