2013/10/11: Removed unnecessary comment, by Michael Riedel