The `doc` clause is never ever used.