Minor code cleanup

A very minor code cleanup has been done.