Update bordermultiplex.h