fix firefox display issue (see #1)