Some minor improvements to details