documentation; first extension