Remove unnecessary example that wasn't used in K.