small fixes, deleted a file