Some additions + a correction