scanf fails to read digit. char remains in buffer