Original: When Miller's contract expired at the end of that season, he transferred to Celtic for free under the Bosman ruling.
Simplified: When Miller's contract finished at the end of that season, he transferred to Celtic for free under special rules, caled the Bosman ruling.