Documentation nitpicking