Add a couple of details that came up in the practicals