fixed obvious typos and basis argument type annotation