Minor but annoying problem