an extension for fun