minor fix for firefox