Minor fix in kotlin-stdlib-gen

This change was forgotten in e3fffe2