fixed a typo and bug in the stdlib