use switch-to-buffer, which is more reliable