Version 0.08: fixes and cosmetics