Devel

fixes #10