Fix #7: Use default value for getOption