fix compile-time error