bug fix for options serialization