bugfix for raw_input