minor bug in platform#run