Small fix to documentation target