Uncommented things that didn't need commenting.