corrected for good use with ./