diff --git a/configs/fpgas/marsellus/virtex7.sh b/configs/fpgas/marsellus/virtex7.sh
index 40c5b7d..a8e2520 100644
--- a/configs/fpgas/marsellus/virtex7.sh
+++ b/configs/fpgas/marsellus/virtex7.sh
@@ -16,7 +16,8 @@ source $scriptDir/../../common.sh
 
 export PULPRUN_PLATFORM=fpga
 
-#Virtex7 uses 50MHz SoC Frequency
+#Virtex7 uses 10MHz SoC Frequency
 export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
 
 export io=uart
+
diff --git a/configs/fpgas/pulp/virtex7.sh b/configs/fpgas/pulp/virtex7.sh
index 9ae9201..72242e5 100644
--- a/configs/fpgas/pulp/virtex7.sh
+++ b/configs/fpgas/pulp/virtex7.sh
@@ -1,4 +1,3 @@
-  
 #!/bin/bash -e
 
 export PULPRT_TARGET=pulp
@@ -17,7 +16,7 @@ source $scriptDir/../../common.sh
 
 export PULPRUN_PLATFORM=fpga
 
-#Virtex7 uses 50MHz SoC Frequency
+#Virtex7 uses 10MHz SoC Frequency
 export PULPRT_CONFIG_CFLAGS='-DARCHI_FPGA_FREQUENCY=10000000'
 
 export io=uart
\ No newline at end of file