Another minor change to the complexity lab (so that the readers are not
misled about the complexity of matrix inversion).