[#9] typeo fix for incarch, svn 5681