Fix for tramp