minor fix in build