Little mistake with leftover std-lib-ex