Fixes of Thu Dec 18 13:01:29 CET 2014