Fix symbol in size computation