december patch 2013

update of documentation due to changes in main repository