Updating information for Rascal