reparando el problema de tipado en getters y setters