minor fix

This is a minor fix.