bugfix: problems with amsart class