Added specifications to shell