fixed stupid error which results in weird PHP behavior