Problem fixes

some typing fixes because last commit made from github