do weakly localic maps of toposes compose? (correction)