minor fixes; short cast div date fix