fix: minor compilation bugs