Minor edits on the complexity lab.