Remove an unneeded space in the BERI merge.