Fix build error in #668