A documentation update for #53