diff --git a/resources/scripts/download/coreboot b/resources/scripts/download/coreboot
index bcf9c3cd..04d2c09d 100755
--- a/resources/scripts/download/coreboot
+++ b/resources/scripts/download/coreboot
@@ -68,8 +68,8 @@ fetch_coreboot_trees()
 	rm -f resources/coreboot/*/seen
 }
 
-download_for_board() {
-
+download_for_board()
+{
 	_board="${1}"
 	cbtree="undefined"
 	cbrevision="undefined"