Text this: The right exactness of the smooth right Puppe sequence