Corrected documentation regarding get_extensions