fixed compile error in stdlib