Fix bug in the source resolver HTML caused by the move.