diff --git a/etc/platform-configs/laki/package-list b/etc/platform-configs/laki/package-list
index 0ce0d3c..6c950a0 100644
--- a/etc/platform-configs/laki/package-list
+++ b/etc/platform-configs/laki/package-list
@@ -9,7 +9,7 @@ compiler/gnu/(4.6.3,4.7.3):
 
 compiler/intel/13.1.2:
 
-mpi/openmpi/(1.6.4,1.7.1): 	compiler/gnu/(4.6.3|4.7.3),compiler/intel/13.1.2
+mpi/openmpi/(1.6.4,1.7.1): 	compiler/gnu/(4.6.3,4.7.3),compiler/intel/13.1.2
 # build every version with all listed compilers:
 # mpi/openmpi/1.6.4:	compiler/gnu/4.6.3
 # mpi/openmpi/1.6.4:	compiler/gnu/4.7.3