some minor detail polishing