simple Python server
minor fix