fixing #647 and small update of dev-dependencies