resolve names when showing session
The name resolution code was only coded in session; I hacked it also to BIB.
I noticed I missed this newline after testing.
Merge branch 'issue86'