Es normal, triste pero normal. Las capacidades de los discos duros que dan los fabricantes están basadas en que 1 GB = 1.000.000.000 bytes, cosa totalmente falsa, ya que en realidad son 1024 * 1024 * 1024 = 1.073.741.824 bytes.
En otras palabras, tu disco de 80 GB en realidad es de 80.000.000.000 bytes, que son unos 74,50 GB.
Saludos.