Incomplete(?) bug fix for WebID authentication module --- abandoned for the moment.