Update following TaPP'13 participation