Summary

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