How to cross a pedestrian crossing