This is the proper project name, previously it was incorrect

(Miklos: it seems that my commit deleted the comments you added here)