fixes #875: detect work on outdated revision