add checker properties; bug fixing