Cleared out some leftovers from a bad merge resolution in the stdlib lab.

....