[Theme: Oulipo] Resize Gravatars

I’m trying to increase the size of the gravatars on post comments. In legacy.comments.php, I found this line:

<?php echo get_avatar( $comment, 32 ); ?>

and changed “32” to “80.” But that didn’t change the size.

Any ideas?

http://wordpress.org/extend/themes/oulipo/