fix several problems

1. html formal of dblp
2. user input choice string to integer
3. crash on missing results.