Minor problem specification fixes