Correcting error in BasicFlux