2013-02-13-shrinking: fixed highlighting