That warrants a comment in the code so that @phaller doesn't accidentally change it back one day :)