fix optionsDump()