Tweak to revDB to ensure it compiles.