Revised documentation in 'Instructions'.