use $VERSION instead of a real version number in doc