Made double notation more standard.