Yet another fix of BUILD formatting