Additions to specification