Rename extension

Better name for extension as suggested by John Griffiths