Added some specifications