fixed a scheduling problem in mkDotProd