Fixed tiny bug in function_arch