reverted e31e3f0071d4 because "foo.bar(5)" (with quotes) is wrong
reverted e31e3f0071d4 because "foo.bar(5)" (with quotes) is wrong

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle