Fix logic in stdlib.cpp comment