Notification BEAMER is now at v6.1.0 on both Korat and Minx. Use the 'beamer' command to run the new version of BEAMER. Please report any new bugs to cnf-computing@cornell.edu .