Fix mistaken "use 5.018" and replace with proper "use 5.016"