Another fix of BUILD formatting