version 0.8; further fixes for issue #7