Fix some type errors in the initial post