doc: add a missing empty line