Fix #51 - Make sure default values read from the database are symbolized