Possible bug in TRAMP?