Reformatted with latest code style.