Summary
This corrigendum adds and corrects definitions in order to allow for further development.