Minor cosmetic improvement to build file