[Specification] Sync with actual implementation