Fix configuration option type syntax error