updated spec to 4.2 release