I have just tried an Internal formatting of the SD card and the Storage Memory readings are a bit weird.
Note the SD card is listed as 32Gg when is is only 16Gb. It appears as though it has added the used memory in the SSD to that of the SD card ???