Specifications and improvements on validator