small fix to CSCI4830