#583: documentation