did some formatting work for demo4