Stop hardcoding 8080 port in several places

Using default attributes is just safer.