fixes skim's bugs