fixes incorrect target for MathStuff repo