Fix notational velocity repo