Yes you are correct that it should be removed so there is no confusion as to which mode you are running in but regardless you will only be in 32bit mode even though the option is there.