[Users] Question: odd compilation failure