quickfixes for CS0027