Amended tax return - when to file?