Forgotten debugging output removed.