#685: documented