Small JNDI fix