Henley Arch v Lucky Homes: innocent infringement and the damages calculations