Update A. Holzner's example code