fix Notational velocity extension