IUSify the spec and fix email address