dcache: remove extraneous ';'