Comment by mp_mn

Yep, added it in response to another comment, and the parent comment was posted a minute or so before the fix was sent up.