minor fix to satisfy myself