Fix weird compile-time error