trivial bugfix to fix include in settings.gradle.