Fixed some notation