Why is there 12 instead of sqrt(12) in the argument?