minor javascript problem