Correcting coherent errors with surface codes. (December 2018)