debugging output removed