Minor reformulation