Whoops, bug in pdf