A little extension