added more type specs