added copyright header
added default value to the pretty constraint