Options: Fix inability to change HTTP port