# Tiny fix and code style improvement