Fixes of Thu Dec 18 12:59:03 CET 2014