sync with spec