Fix save options enumerator type.

Fixes #779.