(added a note and corrected a tiny mistake)