fixing the typing