two small bugs in theme.inc