Small update for procrastination-killer-server.