src/window.c (Fwindow_body_width): Doc fix.  (Bug#19395)