Version 0.8: further bug fixes