Trivial extension added