Make firefox happy