Fixed second bug in stdlib; yay