fixes #70;