Office workers trickle back into downtown Cincinnati.