fixed annoying compilation error