Added a bit of specification.