fixes type and include Christos introduction paragraph