rev. ad7f245f4b3254adb8392ead51b55fa7ea664a14..dc37ea680086570039cd0e357d45affbc2f50f81 (ignoring whitespace)