Fixing some notation