fix an annoying error