Fix example Dockerfile