fix optionsDump()
Merge branch 'develop'