Add a note wrt #7, implemented earlier