[trivial] Update to ddox 0.9.20.

A source file slipped the 0.9.19 version. This is the only change of 0.9.20.