tweak shortdoc to be more idiomatic