Change Gravatar Size

In a default bbpress installation, I am seeing that the gravatar size is set to 80px. I learned that it can be changed in /templates/default/bbpress/loop-single-reply.php file. By adding the size parameter on line 45 like this: