Minor: version notation changed