Updated copyright to include 2013
Relax constraints on tasty
Relax syntactic constraint