Bugfixes
Merge branch 'HEAD' of git@github.com:silk-framework/silk.git
Merge branch 'HEAD' of git@github.com:silk-framework/silk.git
Merge branch 'HEAD' of git@github.com:silk-framework/silk.git
Merge branch 'HEAD' of git@github.com:silk-framework/silk.git