Indeed: I edited the comment, please forgive me for the error! (and feel free to delete these two last comments)