PyCharm似乎认为str对象是浮点数

Question

这是我的代码（python 3）：

user_in = input("What are the different values this can take? Separate each with a semi-colon ;\n\t").strip().lower()
# e.g. "strength;alertness ; wisdom; grace;"
options = user_in.split(';')
tidy_options = list()
for op in options:
    tidy_options.append(op.strip())
options = list(tidy_options)

但PyCharm（2017.1.5）对“op.strip（）”命令发出警告，说

Unresolved attribute reference 'strip' for class 'float' 

我不明白为什么op不是str类型（因此有.strip（）方法）。我特别没有看到PyCharm从哪里得到这个“漂浮”的想法。有帮助吗？