amend previous commit (forgotten checkin)