Fixing a very old mistake