bug fixes. 11.12.2013 final version