We consider the Euler–Lagrange equation of a functional arising from conformal geometry in four dimensions, a fourth order equation with borderline nonlinearity. We present a short proof of the fact that any W2,2-solution is smooth.