Small update to user_webdavauth

This is my first time so forgive me if this is not the right way to do this.
I didn't think it was worth creating a new app just for these changes.