simplifying handling of stdin