Revert "pr4 (09/04/2013)"

This reverts commit 11dfd098402dad1233fbfbfa57ac9303fd1a1767.