Trivial: changed 2011 -> 2013 in Copyright header. ERT-130