Fix stupid PHP mistakes