minor improvements to extension