Adjusted a small syntax flavor problem. Simpler, more understandable syntax is preferred.