Small repair: an oil pump by @gautier