Fixed formatting problems in specification.