update for Fleckmesh beta 1.0 launched in 8/11/2013