Corrected examples and changed type