#4137 Fix compile error