add Ted Lemon's tweak to 'extensions'