Fix my misunderstanding of extension functions