Fixed extension() in lexos.py to match format of usual page functions