Specifications and fixes