debugging by printing out the user names