Amend last addition to etc/PROBLEMS