updated static docs and fixed broken p_exists test