Some errata

This is mostly errata for @jledent's fixes, but I also made one more small fix ("type of elements" should be "type of members").