other things to detect/display the actual filename (when different than what's stored in the database).