Quick introduction and style fixes