Minor fix in build.