Fixed minor spacing issue in mkAllInsts