Convert options to Symbol when loading the JSON.

Alternative solution to GH-203.