Fixed the name of the stdlib module