tiny bug that causes compilation error