nicer buffer-manager interface