Updates to specification