chiark / gitweb /
use clear_children() more consistently