Notes on class memberships, notation fixes, missing JSON properties.