Made specifications more explicit.