Stefan, this is a known bug that is already fixed....

# getting-started

[dirk.dittert]

Stefan, this is a known bug that is already fixed. https://youtrack.jetbrains.com/issue/KT-12318