fixed compiler-discovered bug