work around FF forever-loading bug, other tweaks