Fixed missing arg in stdlib