Added missing disambiguation5html example