Extensions: removed debugging info.