#1248: Fix documentation