minor fix to prevent possible later bug