The disk usage reported under the user preferences section in Galaxy says that my account is using 177 GB of disk space when I am actually using only 39 GB. I have looked at all my histories (shared, active, and deleted) and ensured that all histories except the one containing the 39 GB of data has been permanently deleted. It has been several days since I permanently deleted the bulk of the data taking up space in my account. However, the disk space quota has not yet been updated. Is there anything else I can do to resolve this matter?