Fix small build problem from merge.