#2: fix style