oops, final edit introduced fatal typo. Fixed...