prettify: minor fix