We missed two files in the last commit.

Contributed-by:  Johannes Doerfert <doerfert@cs.uni-saarland.de>