Dev Sync (9 ext)

Extension to Dev Sync 9, adding a quick bug fix.