perhaps the rtPropTop fix did the trick