Copy-pasting has a price, fixing the above doc too ;)