Fix hard-coded path separator in assertion string