Subtle bug in the autocompletion code (affecting only FF users I think); thanks to FB for helping me find and debug it!