fix #79, users can edit their dream symbol interpretations