Fix issue with wrongly imported symbol