a fix to make Safari happy .. fixes issue #14