GUISplash issue in 3.1.4

I'm having an issue with my splash screens not fading in and out after upgrading from 3.1.0 to 3.1.4. I noticed the following change was made to GUISplash.cs:

In 3.1.0 _totalTime was defined as:

public void UpdateAnimation(float dt)
        {
            _totalTime += dt;

In 3.1.4 _totalTime is defined as:

public void UpdateAnimation(float dt)
        {
            _totalTime += TorqueEngineComponent.Instance.GameTime.ElapsedRealTime.Milliseconds / 1000.0f;

For this to work though it should be ElapsedGameTime not ElapsedRealTime:

public void UpdateAnimation(float dt)
        {
            _totalTime += TorqueEngineComponent.Instance.GameTime.ElapsedGameTime.Milliseconds / 1000.0f;

Once I change to ElapsedGameTime it works as it used to. Unless someone can tell me my code is doing something wrong this seems like a bug. I'm implementing a studio splash and the garage games splash the same way the platform starter kit does it.