A historical perspective on the Webb, Pearman and Leuning density correction theory