reinforce #1512 in docs example