I have a partition (disk0s2) I can't seem to get rid of. The size is very tiny around ~3KB. Disk Utility is unable to remove/erase or repair this partition. Also, the '-' button seems to be disabled. Can anyone help me with a terminal command to get rid of the partition?