Updating specification, version 0.1.1