Currently, file extension stays the same on conversion to a different format. This is a bad behavior and should be fixed.